Taxonomic Provenance: Two Influential Primate Classifications Logically Aligned

—Human classifications and phylogenies of perceived natural entities are subject to change in light of new evidence. Taxonomic changes, translated into Code-compliant names and nomenclatural relationships, frequently lead to name/meaning dissociations across succeeding treatments. Classification standards such as the Mammal Species of the World (MSW) aim to unify name usages at the global scale, but may nevertheless experience significant levels of taxonomic change from one edition to the next. This circumstance challenges the biodiversity and phylogenetic data communities to develop more granular identifiers to track taxonomic congruence and incongruence in ways that both humans and machines can process, i.e., to logically represent taxonomic provenance across multiple classification hierarchies. Here we show that reasoning over taxonomic provenance is feasible for two classifications of primates corresponding to the second and third MSW editions. Our approach entails three main components: (1) individuation of name usages as taxonomic concepts, (2) articulation of concepts via human-asserted Region Connection Calculus (RCC-5) relationships, and (3) the use of an Answer Set Programming toolkit to infer and visualize logically consistent alignments of these taxonomic input constraints. Our use case entails the Primates sec. Groves (1993; MSW2 – 317 taxonomic concepts; 233 at the species level) and Primates sec. Groves (2005; MSW3 – 483